Cardano is a blockchain platform built on the ground-breaking Ouroboros proof-of-stake consensus protocol and developed using the Haskell programming language: a functional programming language that enables Cardano to pursue evidence-based development, for unparalleled security and stability.